T. Bolander, Patrick Blackburn; "Termination for hybrid tableaus"